1. A theory and practice of program development /
پدیدآورنده : Derek Andrews
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming,Computer software-- Development
رده :
QA76
.
76
.
D47
A427
1997
2. Digital libraries
پدیدآورنده : / edited by Judith Andrews and Derek Law
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Digital libraries,Digital libraries- Great Britain- Case studies,Digital libraries- United States- Case studies
رده :
ZA4080
.
D543
2004
3. Formal methods in Standards: a report form the BCS working group
پدیدآورنده : / C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic data processing - Standards - Great Britain
رده :
QA76
.
9
.
S8F67
1990
4. Formal methods in standards : a report from the BCS Working Group
پدیدآورنده : C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic data processing - Standards - Great Britain
رده :
QA
.
S8F67
76
.
9
1990
5. Practical formal methods with VDM
پدیدآورنده : Andrews, Derek.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development
رده :
QA
76
.
76
.
D47A52
1991
